Dict(
	[15, 2, 20, 10, 20, 1, 1, 14, 1, 1] => QQFieldElem[-9//128, 0, 0, 0])